@import url("//maxcdn.bootstrapcdn.com/bootstrap/3.3.6/css/bootstrap.min.css");

body {
	font-size: 13px;
}

.navbar-inverse .navbar-brand {
    color: #ffffff;
}

.container {
  margin-top: 30px;
  width: 98%;
}

.navbar-inverse .logo {
    height: 45px;
    width: 100px;
    background-color: #3c3c3c;
}

pre {
    overflow: scroll;
    max-height: 350px;
}

.edit-group a {
    margin: 0 8px;
}
.show-rule, .edit-rule {
    margin-right: 15px;
}

.alarmRow {
    color: black;
    background-color: #ffc000;
}

.alarmRow-odd {
    color: black;
    background-color: #ffd000;
}

.newRow {
    color: black;
    background-color: #ffc000;
}

.aceditor {
    /** Setting height for ace editor **/
    min-height: 350px;
}
